Optimal. Leaf size=142 \[ \frac{(m+1)^2 (d x)^{m+1} e^{-\frac{a (m+1)}{b n}} \left (c x^n\right )^{-\frac{m+1}{n}} \text{Ei}\left (\frac{(m+1) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )}{2 b^3 d n^3}-\frac{(m+1) (d x)^{m+1}}{2 b^2 d n^2 \left (a+b \log \left (c x^n\right )\right )}-\frac{(d x)^{m+1}}{2 b d n \left (a+b \log \left (c x^n\right )\right )^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.13917, antiderivative size = 142, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 18, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.167, Rules used = {2306, 2310, 2178} \[ \frac{(m+1)^2 (d x)^{m+1} e^{-\frac{a (m+1)}{b n}} \left (c x^n\right )^{-\frac{m+1}{n}} \text{Ei}\left (\frac{(m+1) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )}{2 b^3 d n^3}-\frac{(m+1) (d x)^{m+1}}{2 b^2 d n^2 \left (a+b \log \left (c x^n\right )\right )}-\frac{(d x)^{m+1}}{2 b d n \left (a+b \log \left (c x^n\right )\right )^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2306
Rule 2310
Rule 2178
Rubi steps
\begin{align*} \int \frac{(d x)^m}{\left (a+b \log \left (c x^n\right )\right )^3} \, dx &=-\frac{(d x)^{1+m}}{2 b d n \left (a+b \log \left (c x^n\right )\right )^2}+\frac{(1+m) \int \frac{(d x)^m}{\left (a+b \log \left (c x^n\right )\right )^2} \, dx}{2 b n}\\ &=-\frac{(d x)^{1+m}}{2 b d n \left (a+b \log \left (c x^n\right )\right )^2}-\frac{(1+m) (d x)^{1+m}}{2 b^2 d n^2 \left (a+b \log \left (c x^n\right )\right )}+\frac{(1+m)^2 \int \frac{(d x)^m}{a+b \log \left (c x^n\right )} \, dx}{2 b^2 n^2}\\ &=-\frac{(d x)^{1+m}}{2 b d n \left (a+b \log \left (c x^n\right )\right )^2}-\frac{(1+m) (d x)^{1+m}}{2 b^2 d n^2 \left (a+b \log \left (c x^n\right )\right )}+\frac{\left ((1+m)^2 (d x)^{1+m} \left (c x^n\right )^{-\frac{1+m}{n}}\right ) \operatorname{Subst}\left (\int \frac{e^{\frac{(1+m) x}{n}}}{a+b x} \, dx,x,\log \left (c x^n\right )\right )}{2 b^2 d n^3}\\ &=\frac{e^{-\frac{a (1+m)}{b n}} (1+m)^2 (d x)^{1+m} \left (c x^n\right )^{-\frac{1+m}{n}} \text{Ei}\left (\frac{(1+m) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )}{2 b^3 d n^3}-\frac{(d x)^{1+m}}{2 b d n \left (a+b \log \left (c x^n\right )\right )^2}-\frac{(1+m) (d x)^{1+m}}{2 b^2 d n^2 \left (a+b \log \left (c x^n\right )\right )}\\ \end{align*}
Mathematica [A] time = 0.357028, size = 113, normalized size = 0.8 \[ \frac{(d x)^m \left ((m+1)^2 x^{-m} \exp \left (-\frac{(m+1) \left (a+b \log \left (c x^n\right )-b n \log (x)\right )}{b n}\right ) \text{Ei}\left (\frac{(m+1) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )-\frac{b n x \left (a m+a+b (m+1) \log \left (c x^n\right )+b n\right )}{\left (a+b \log \left (c x^n\right )\right )^2}\right )}{2 b^3 n^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 1.312, size = 0, normalized size = 0. \begin{align*} \int{\frac{ \left ( dx \right ) ^{m}}{ \left ( a+b\ln \left ( c{x}^{n} \right ) \right ) ^{3}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\left (m^{2} + 2 \, m + 1\right )} d^{m} \int \frac{x^{m}}{2 \,{\left (b^{3} n^{2} \log \left (c\right ) + b^{3} n^{2} \log \left (x^{n}\right ) + a b^{2} n^{2}\right )}}\,{d x} - \frac{b d^{m}{\left (m + 1\right )} x x^{m} \log \left (x^{n}\right ) +{\left (a d^{m}{\left (m + 1\right )} +{\left (d^{m}{\left (m + 1\right )} \log \left (c\right ) + d^{m} n\right )} b\right )} x x^{m}}{2 \,{\left (b^{4} n^{2} \log \left (c\right )^{2} + b^{4} n^{2} \log \left (x^{n}\right )^{2} + 2 \, a b^{3} n^{2} \log \left (c\right ) + a^{2} b^{2} n^{2} + 2 \,{\left (b^{4} n^{2} \log \left (c\right ) + a b^{3} n^{2}\right )} \log \left (x^{n}\right )\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 1.03328, size = 765, normalized size = 5.39 \begin{align*} \frac{{\left ({\left (b^{2} m^{2} + 2 \, b^{2} m + b^{2}\right )} n^{2} \log \left (x\right )^{2} + a^{2} m^{2} + 2 \, a^{2} m +{\left (b^{2} m^{2} + 2 \, b^{2} m + b^{2}\right )} \log \left (c\right )^{2} + a^{2} + 2 \,{\left (a b m^{2} + 2 \, a b m + a b\right )} \log \left (c\right ) + 2 \,{\left ({\left (b^{2} m^{2} + 2 \, b^{2} m + b^{2}\right )} n \log \left (c\right ) +{\left (a b m^{2} + 2 \, a b m + a b\right )} n\right )} \log \left (x\right )\right )}{\rm Ei}\left (\frac{{\left (b m + b\right )} n \log \left (x\right ) + a m +{\left (b m + b\right )} \log \left (c\right ) + a}{b n}\right ) e^{\left (\frac{b m n \log \left (d\right ) - a m -{\left (b m + b\right )} \log \left (c\right ) - a}{b n}\right )} -{\left ({\left (b^{2} m + b^{2}\right )} n^{2} x \log \left (x\right ) +{\left (b^{2} m + b^{2}\right )} n x \log \left (c\right ) +{\left (b^{2} n^{2} +{\left (a b m + a b\right )} n\right )} x\right )} e^{\left (m \log \left (d\right ) + m \log \left (x\right )\right )}}{2 \,{\left (b^{5} n^{5} \log \left (x\right )^{2} + b^{5} n^{3} \log \left (c\right )^{2} + 2 \, a b^{4} n^{3} \log \left (c\right ) + a^{2} b^{3} n^{3} + 2 \,{\left (b^{5} n^{4} \log \left (c\right ) + a b^{4} n^{4}\right )} \log \left (x\right )\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\left (d x\right )^{m}}{\left (a + b \log{\left (c x^{n} \right )}\right )^{3}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\left (d x\right )^{m}}{{\left (b \log \left (c x^{n}\right ) + a\right )}^{3}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]